#include <types.h>
#include <arm.h>
#include <picirq.h>
#include <intr.h>
#include <board.h>


#ifdef PLATFORM_AT91
// Current IRQ mask
// static uint32_t irq_mask = 0xFFFFFFFF & ~(1 << INT_UART0);
static uint32_t irq_mask = 0xFFFFFFFF;
static bool did_init = 0;

static void
pic_setmask(uint32_t mask) {
}

void
pic_enable(unsigned int irq) {
}

/* pic_init
 * initialize the interrupt, but doesn't enable them */
void
pic_init(void) {
  did_init = 1;
  cprintf("pic_init NOT impl\n");

}

/* irq_clear
 * 	Clear a pending interrupt request
 *  necessary when handling an irq */
void
irq_clear(unsigned int source) {
}

#endif
